Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

An Algebraic Characterization of Total Input Strictly Local Functions

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Amherst; Massachusetts; United States

  • Source: Society for Computation in Linguistics ; https://hal.science/hal-04237294 ; Society for Computation in Linguistics, Jun 2023, Amherst, Massachusetts, United States.

تفاصيل العنوان

×
Conference

A Path Towards Fair and Equitable AI Advancing Bias Mitigation in Federated Learning

Subjects: Federated Learning FL; Bias; FairnessChicago; United States

  • Source: The IEEE International Symposium on Women in Services Computing (WISC 2023) ; https://hal.science/hal-04158784 ; The IEEE International Symposium on Women in Services Computing (WISC 2023), Jul 2023,

تفاصيل العنوان

×
Conference

Distributing and Parallelizing Non-canonical Loops

Subjects: Analysis and Verification of Parallel Program; Automatic Parallelization; Loop TransformationBoston (MA); United StatesBoston (MA), United States

  • Source: Verification, Model Checking, and Abstract Interpretation ; Verification, Model Checking, and Abstract Interpretation (VMCAI 2023) ; https://hal.science/hal-03669387 ; Verification, Model Checking,

تفاصيل العنوان

×
Conference

Certified Abstract Machines for Skeletal Semantics

Subjects: Skeletal Semantics; Operational Semantics; Abstract MachinesUnited StatesPhiladelphia, United States

  • Source: CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03466807 ; CPP 2022 - 11th ACM SIGPLAN International Conference on Certified

تفاصيل العنوان

×
Conference

Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem

Subjects: Context-free languages; Parsing; Finite state automataIthaca; NY; United States

  • Source: MFPS 2022 - 38th conference on Mathematical Foundations for Programming Semantics ; https://hal.science/hal-03702762 ; MFPS 2022 - 38th conference on Mathematical Foundations for Programming

تفاصيل العنوان

×
Conference

Data Path Queries over Embedded Graph Databases

Subjects: Data graphs; embedded finite models; regular path queriesUnited StatesPhiladelphia, United States

  • Source: Symposium on Principles of Database Systems (PODS) ; https://hal.science/hal-03684553 ; Symposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United

تفاصيل العنوان

×
  • 1-10 of  1,155 نتائج ل ""FL""